Eléments de l'association
|  |
List of bibliographic references
Number of relevant bibliographic references: 17.| Ident. | Authors (with country if any) | Title |
|---|---|---|
| 003382 | Yohan Boichut [France] ; Pierre-Cyrille Heam [France] ; Olga Kouchnarenko [France] | How to Tackle Integer Weighted Automata Positivity |
| 003741 | Yohan Boichut [France] ; Pierre-Cyrille Héam [France] ; Olga Kouchnarenko [France] | Tree Automata for Detecting Attacks on Protocols with Algebraic Cryptographic Primitives |
| 003768 | Yohan Boichut [France] ; Roméo Courbis [France] ; Pierre-Cyrille Héam [France] ; Olga Kouchnarenko [France] | Handling Non Left-Linear Rules When Completing Tree Automata |
| 003E65 | Yohan Boichut [France] ; Roméo Courbis [France] ; Pierre-Cyrille Héam [France] ; Olga Kouchnarenko [France] | Handling Left-Quadratic Rules When Completing Tree Automata |
| 003F07 | Yohan Boichut [France] ; Roméo Courbis [France] ; Pierre-Cyrille Héam [France] ; Olga Kouchnarenko [France] | Finer is better: Abstraction Refinement for Rewriting Approximations |
| 004200 | Yohan Boichut [France] ; Pierre-Cyrille Heam [France] | A Theoretical Limit for Safety Verification Techniques with Regular Fix-point Computations |
| 004601 | Yohan Boichut [France] ; Pierre-Cyrille Heam [France] ; Olga Kouchnarenko [France] | Approximation based tree regular model checking |
| 004614 | Yohan Boichut [France] ; Pierre-Cyrille Heam [France] | A Theoretical Limit for Safety Verification Techniques with Regular Fix-point Computations |
| 004D59 | Yohan Boichut [France] ; Pierre-Cyrille Heam [France] ; Olga Kouchnarenko [France] | Vérifier automatiquement les protocoles de sécurité |
| 004E14 | Yohan Boichut [France] ; Pierre-Cyrille Heam [France] ; Olga Kouchnarenko [France] | Tree Automata for Detecting Attacks on Protocols with Algebraic Cryptographic Primitives |
| 004F38 | Yohan Boichut [France] ; Pierre-Cyrille Héam [France] ; Olga Kouchnarenko [France] | Handling Algebraic Properties in Automatic Analysis of Security Protocols |
| 005043 | Yohan Boichut [France] ; Thomas Genet [France] | Feasible Trace Reconstruction for Rewriting Approximations |
| 005190 | Yohan Boichut [France] ; Nikolai Kosmatov [France] ; Laurent Vigneron [France] | Validation of Prouve Protocols using the Automatic Tool TA4SP |
| 005765 | Yohan Boichut [France] ; Pierre-Cyrille Héam [France] ; Olga Kouchnarenko [France] | Handling Algebraic Properties in Automatic Analysis of Security Protocols |
| 005804 | Yohan Boichut [France] ; Pierre-Cyrille Héam [France] ; Olga Kouchnarenko [France] | Automatic Abstraction Generation : How to Make an Expert Verification Technique for Security Protocols available to Non-expert Users |
| 005979 | Alessandro Armando [Italie] ; David Basin [Suisse] ; Yohan Boichut [France] ; Yannick Chevalier [France] ; Luca Compagna [Italie] ; Jorge Cuellar [Allemagne] ; Paul Hankes Drielsma [Suisse] ; Pierre-Cyrille Héam [France] ; Olga Kouchnarenko [France] ; Jacopo Mantovani [Italie] ; Sebastian Mödersheim [Suisse] ; David Von Oheimb [Allemagne] ; Michaël Rusinowitch [France] ; Judson Santos Santiago [France] ; Luca Vigano [Suisse] ; Mathieu Turuani [France] ; Laurent Vigneron [France] | The AVISPA Tool for the automated validation of internet security protocols and applications |
| 006550 | Yohan Boichut [France] ; Pierre-Cyrille Héam [France] ; Olga Kouchnarenko [France] | Automatic Verification of Security Protocols Using Approximations |
| This area was generated with Dilib version V0.6.33. |  |